Section: Dissemination

Teaching - Supervision - Juries

• Licence :

  • Frédéric Dadeau, Programming, 37 hours (ETD), L1, Université de Franche-Comté

  • Frédéric Dadeau, Databases, 39 hours (ETD), L1, Université de Franche-Comté

  • Frédéric Dadeau, Web Languages, 24 hours (ETD), L2, Université de Franche-Comté

  • Frédéric Dadeau, Object-Oriented Modelling and Design, 44 hours (ETD), L3, Université de Franche-Comté

  • Alain Giorgetti, Logics and Deduction, 52 hours (ETD), L2, Université de Franche-Comté, France.

  • Alain Giorgetti, Formal Methods, 81 hours (ETD), L3, Université de Franche-Comté, France

  • Olga Kouchnarenko, Formal Languages, 65 hours (ETD), L3, Université de Franche-Comté, France

  • Olga Kouchnarenko, Languages, Specification and Proof, 25 hours (ETD), L3, Université de Franche-Comté, France

  • Olga Kouchnarenko, Parsing Algorithms and XML, 30 hours (ETD), L3, Université de Franche-Comté, France

• Master :

  • Fabrice Bouquet, Artificial Intelligence (also in e-learning), 53 hours (ETD), M2, Université de Franche-Comté

  • Fabrice Bouquet, Compilation, 54 hours (ETD), M2, Université de Franche-Comté

  • Fabrice Bouquet, Testing (also in e-learning), 71 hours (ETD), M2, Université de Franche-Comté

  • Frédéric Dadeau, Testing, 13 hours (ETD), M2, Université de Franche-Comté

  • Alain Giorgetti, Program Proofs, 58 hours (ETD), M1, Université de Franche-Comté, France.

  • Alain Giorgetti, Decision Procedures, 13 hours (ETD), M2, Université de Franche-Comté, France.

  • Steve Kremer, Security Theory, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  • Christophe Ringeissen, Decision Procedures for Software Verification, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  • Laurent Vigneron, Security of information systems, 15 hours (ETD), M2 Computer science, Lorraine University, France.

  • Laurent Vigneron, Formal methods, 24 hours (ETD), M2 MIAGE, Lorraine University, France.

  • Pierre-Cyrille Héam, Calculability, 23 hours (ETD), M2 Computer science, Université de Franche-Comté, France.

  • Pierre-Cyrille Héam, Introduction to Büchi Automata, 18 hours (ETD), M2 Computer science, Université de Franche-Comté, France.

  • Abdessamad Imine, Security for XML Documents, 12 hours (ETD), M1, University of Lorraine, France.

  • Olga Kouchnarenko, Specification, Verification and Validation, 12 hours (ETD), M2, Université de Franche-Comté, France.

  • Olga Kouchnarenko, Compositional approaches in verification, 18 hours (ETD), M2, Université de Franche-Comté, France.

  • Olga Kouchnarenko, Security and Components, 10,5 hours (ETD), M2, Université de Franche-Comté, France.

• Doctorat:

  • Steve Kremer, Les protocoles de sécurité : modélisation et vérification, 4,5 hours (ETD), École jeunes chercheurs en programmation (EJCP), Rennes, France

• PhD :

  Kalou Cabrera Castillos, Automated Test Scenario Generation from Property Patterns and Behavioral Models, November 28, Frédéric Dadeau and Jacques Julliand

  Jérome Cantenot, Management of consistence in verication conditions in the test generation context, Université de Franche Comté, 13 November, Fabrice Ambert and Fabrice Bouquet.

  Vincent Hugot, Approximations and Constraints: Application to the Verification of Embedded Systems, Université de Franche Comté, September 27, Pierre-Cyrille Héam and Olga Kouchnarenko

  Elena Tushkanova, Specification and formal certification of (combinations of) decision procedures, Université de Franche Comté, July 19, Alain Giorgetti, Olga Kouchnarenko and Christophe Ringeissen

• PhD in progress :

  Hadrien Bride, Validation and Reconfiguration of Modal Petri Nets within Constraint Logic Programming, started in October 2013, Olga Kouchnarenko and Fabien Peureux

  Rémy Chrétien, Decision procedures of equivalence properties, started in October 2012, Véronique Cortier and Stéphanie Delaune

  Aloïs Dreyfus, Efficient approches for systems validation, started in November 2010, Pierre-Cyrille Héam and Olga Kouchnarenko

  Ivan Enderlin, Test Data Generation for Unit Testing in PHP, started in October 2011, Fabrice Bouquet, Frédéric Dadeau and Alain Giorgetti

  Jean-Marie Gauthier, Method for validation and simulation of SysML model: Applied on micro-systems, started in October 2012, Fabrice Bouquet, Fabien Peureux and Ahmed Hammad

  Richard Genestier, Formal specification and verification of programs generating structured data, started in October 2012, Alain Giorgetti and Olga Kouchnarenko

  Bao-Thien Hoang, Secure Collaboration in Social Networks, started in April 2011, Abdessamad Imine and Christophe Ringeissen

  Jean-Luc Joly, Randomized approaches for validation and verification procedures, started in December 2011, Pierre-Cyrille Héam

  Robert Künnemann, Verification of Security APIs, started in October 2010, Steve Kremer and Graham Steel

  Éric Le Morvan, Secure composition of cryptographic protocols, started in October 2013, Véronique Cortier

  Houari Mahfoud, Access Control Models for XML Documents, started in September 2010, Abdessamad Imine and Michaël Rusinowitch

  Guillaume Scerri, Symbolic and automatic security proofs in computational models, started in September 2011, Hubert Comon-Lundh and Véronique Cortier

  Cyrille Wiedling, Formal analysis of E-voting protocols, started in September 2011, Véronique Cortier

  Hiep Nguyen Huu, Secure Collaboration in Mobile Social Networks, started in November 2013, Abdessamad Imine and Michaël Rusinowitch